Directed acyclic graph

Results: 287



#Item
261Heuristics / Binary decision diagram / Boolean algebra / Diagrams / Model checking / Heuristic function / Directed acyclic graph / Heuristic / Mathematical optimization / Mathematics / Graph theory / Operations research

A Survey of Static Variable Ordering Heuristics for Efficient BDD/MDD Construction Sanjay Kulhari

Add to Reading List

Source URL: alumni.cs.ucr.edu

Language: English - Date: 2009-01-06 17:15:24
262Applied mathematics / Computational complexity theory / Boolean function / Cryptography / Decision tree model / Tree / Clique problem / Propositional directed acyclic graph / Theoretical computer science / Boolean algebra / Mathematics

Boolean Decision trees Problems and Results, Old and New

Add to Reading List

Source URL: www.math.rutgers.edu

Language: English - Date: 2006-03-20 23:31:05
263Compiler construction / Programming language theory / Instruction selection / Code generation / Directed acyclic graph / Compiler / Peephole optimization / Algorithm / BURS / Compiler optimizations / Computing / Software engineering

Survey on Instruction Selection

Add to Reading List

Source URL: web.ict.kth.se

Language: English - Date: 2013-10-04 13:41:41
264Clique / Directed graph / Equivalence relation / Graph / Transitive closure / Cycle graph / Graph theory / Directed acyclic graph / Decomposition method

Symmetric-Acyclic Decompositions of Networks Patrick Doreian

Add to Reading List

Source URL: www.educa.fmf.uni-lj.si

Language: English - Date: 1998-09-01 12:12:56
265Network theory / Graph connectivity / Graph / Adjacency matrix / Depth-first search / Directed acyclic graph / Longest path problem / Directed graph / Connected component / Graph theory / Mathematics / Algebraic graph theory

Directed Graphs Directed Graphs

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2004-04-06 13:21:12
266Search algorithms / Network flow / Topological sorting / Directed acyclic graph / Depth-first search / Minor / Tree / NP-complete problems / Spanning tree / Graph theory / Mathematics / Combinatorics

A New Approach to Incremental Topological Ordering Michael A. Bender∗

Add to Reading List

Source URL: www.siam.org

Language: English - Date: 2009-02-20 14:50:17
267Search algorithms / Topological sorting / Directed acyclic graph / NP-complete problems / Algorithm / Depth-first search / Longest path problem / Path decomposition / Graph theory / Mathematics / Theoretical computer science

A Dynamic Topological Sort Algorithm for Directed Acyclic Graphs DAVID J. PEARCE

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2007-01-25 16:40:07
268Polyhedra / Polygons / Polyhedron / Dual polyhedron / Discrete geometry / Directed acyclic graph / Shortest path problem / Computational geometry / Net / Geometry / Mathematics / Polytopes

EWCG 2005, Eindhoven, March 9–11, 2005 On Computing Fr´

Add to Reading List

Source URL: www.eurocg.org

Language: English - Date: 2008-08-30 07:07:40
269Path decomposition / Directed graph / Feedback vertex set / Directed acyclic graph / Connectivity / Degree / Graph / Connected component / Tree / Graph theory / Graph connectivity / Cycle rank

Discrete Mathematics and Theoretical Computer Science DMTCS vol. 14:2, 2012, 189–204

Add to Reading List

Source URL: www.hermann-gruber.com

Language: English - Date: 2012-11-12 18:24:48
UPDATE